Buscar
Mostrando ítems 1-10 de 1885
Translation gaps in the rendering of Korean levels of formality into English and Spanish.
(Universidad Católica de Santiago de Guayaquil, 2019)
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. ...
A general overview of formal languages for individual-based modelling of ecosystems
(Elsevier BV, 2019-04-01)
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct ...
A general overview of formal languages for individual-based modelling of ecosystems
(Elsevier BV, 2019-04-01)
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct ...
The two sides of the inclusive languageEl claroscuro del lenguaje inclusivo
(Universidad del Zulia, 2022)
A Procedure for Semantic Querying in the Adaptive Formalism
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2011)
This paper contains a new proposal for the definition of the fundamental operation of query under the Adaptive Formalism, one capable of locating functional nuclei from descriptions of their semantics. To demonstrate the ...
A transformational language for mutant description
(PERGAMON-ELSEVIER SCIENCE LTD, 2009)
Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are ...